-
1 TLA
1) Авиация: Throttle Lever Angle2) Американизм: Top Level Architecture, Two Level Analysis3) Военный термин: Turrel Lock Assembly, temporary lodging allowance, towed linear-array4) Техника: three letter acronym, time line analysis, transmission line adapter, transmission line assembly5) Религия: True Love Always6) Юридический термин: Temporary Living Allowance7) Автомобильный термин: three-layer acronym8) Музыка: The Love Artists9) Сокращение: Three Letter Abbreviation (Royal Mail, drives the need for this list), Towed Linear-Array sonar, three-letter acronym, аббревиатура из трёх букв, Trigger Level Adjust, регулировка уровня включения10) Физика: Temporal Logic Of Actions11) Электроника: Tube Leveling Amplifier, Tube Levelling Amplifier12) Фирменный знак: Tax Lien Associates13) Деловая лексика: Top Level Aggregation, Truly Liable Asset14) Сетевые технологии: Transport Layer Architecture15) Фантастика The Last Alliance16) Должность: Tibetan Literature And Art, Tibetan Literature Arts17) Правительство: Territorial Local Authority18) Аэропорты: Teller, Alaska USA
См. также в других словарях:
Temporal logic of actions — (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.It is used to describe behaviours of concurrent systems.Statements in temporal logic of the form [A] t, where A is an action and t contains a… … Wikipedia
Temporal Logic of Actions — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Die Temporale Logik der Aktionen (TLA) ist eine Weiterentwicklung… … Deutsch Wikipedia
Temporal logic — In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic… … Wikipedia
Interval temporal logic — (also interval logic) is a temporal logic for representing both propositional and first order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences … Wikipedia
logic — Logic is the study of the correct way of reasoning. It is a prescriptive discipline rather than a merely descriptive one (psychology describes how we actually do reason). The two main methods for describing how we should think are the… … Christian Philosophy
Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… … Wikipedia
Lógica temporal — La lógica temporal es una extensión de la lógica modal, la cual es practicamente usada en sistema de reglas, donde esta presente el tiempo. Existe una cierta relación con otras variedades de lógica, por ejemplo, la lógica modal. Su estudio tiene… … Wikipedia Español
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Mill, John Stuart: Logic and metaphysics — J.S.Mill Logic and metaphysics John Skorupski ENLIGHTENMENT AND ROMANTICISM IN MILL’S PHILOSOPHY Mill’s importance as one of the major figures of nineteenth century politics and culture, and the current interest in him as a moral and political… … History of philosophy
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium